Egy pozsonyi könyvkiadó és rézmetsző: Johann Nepomuk Schauff (1757–1827)

Johann Wolfgang

Átlátható veremautomaták és nyelvek

Az átlátható veremautomata (visibly pushdown automaton) fogalmát R. Alur és P. Madhusudan vezette be 2004-ben [1]. Az „átláthatóság” azt jelenti, hogy az input betűi meghatározzák, hogy olvasásukkal egyidőben milyen veremműveletet hajt végre az automata. Egy bizonyos halmazba tartozó betűk olvasásakor az automata egy szimbólumot helyez a verembe, más betűk olvasásakor kivesz egyet, a többi betű...

Többszörösen metsz® halmazrendszerek

Jelölje [n] az {1, 2, ..., n} halmazt, 2[n] pedig [n] összes részhalmazát. Vegyünk egy F ⊂ 2[n] halmazrendszert. |F| maximumát keressük, ha bármely r részhalmaz metszete legalább s elem¶, és bármely ` különböz® halmaz metszete legfeljebb t elem¶, a paraméterek különféle vásztása mellett. Az r = 2, s = t = 1 esetben, tehát amikor bármely két halmaz metszete nemüres, de bármely ` különböz® halmaz...

Dr Johann Willers

Workflow Recovery * Johann Eder

WorkJlow management systems ( WFMSs) more and more become the basic technology for organizations to pei$orm their daily business processes (workjlows). A consistent and reliable execution of such processes is crucial for all organizations. We claim that this can only be achieved by integrating transactional features especially “workjlow transactions” into WFMSs. Based on this idea, we discuss i...